产生式系统描述的探讨

产生式系统是人工智能（Artificial Intelligence)系统最常见的一种结构，因此分析产生式系统的组成部分及其建立问题是一个很基本的问题，而本文就如何描述产生式系统给出一般的方法。     

AEDMS工程文件编号的生成算法

工程文件编号生成算法是国航工程文件管理系统（AEDMS）开发的难点。提出的．工程文件编号生成算法包括．工程文件流水号和改版号的指派算法与自动编排算法。前者解决了新旧系统．工程文件编号的兼容问题；后者是一种新的基于关系代数的自动编号算法，其利用元组序号，具有紧凑简单、可靠性好、可维护性好、执行效率高、适用面广的特点。实算结果和AEDMS运行实践表明，此工程文件编号生成算法是可行的。     

长配管、高落差空调系统的计算机仿真与试验研究

空调系统在长配管、高落差情况下其运行性能和可靠性会受到影响。建立数学模型预测长配管、高落差空调系统的性能，可以提供给用户准确的性能资料，指导用户合理安装空调器，提高产品的可靠性。     

浅谈现代电子商务诉讼中的举证问题

随着计算机技术和网络技术的发展,电子商务模式悄然兴起.同时,电子商务中的法律纠纷日益频繁,在诉讼中如何举证,是本文阐述的主要内容.文章通过对传统法律规定与电子商务诉讼中的举证方式的比较,着重介绍了现代电子商务案件举证的关键问题,即如何进行电子数据公证和网络数据保全,为电子商务诉讼案件的胜诉奠定了基础.     

箭体上的凸起物对火箭气动特性的影响

综合大量实验研究结果,本文给出了火箭箭体上的环形凸起物和纵向凸起物对火箭气动特性的影响。其中最主要的是改变滚转力矩的大小和方向。而这正是姿态控制系统设计的重要依据之一。因此,给出凸起物的设计原则,对火箭气动设计有实际意义。     

一种新型综合性靶场安全系统及其检验测试结果

本文首先简要介绍战略导弹发射场和航天发射场靶场安全系统的作用、特点、主要技术要求,接着介绍按美国空军航天司令部要求,由空军研究所开发的基于GPS弹道测量技术,外测、遥测、遥控综合为一体的机动型靶场安全系统——BMRST的构成及其经多种检验测试的结果。     

直接解算轨道根数的轨道约束自校准定轨方法

应用轨道约束自校准技术能够有效地修正系统误差和提高定轨精度。本文为了适应各种航天试验任务要求,将轨道约束自校准技术推广应用到直接解算轨道根数的定轨方法中,并导出了解算开普勒根数的轨道约束自校准公式。     

导航星座的自主导航技术--卫星自主时间同步

基于星载原子时钟频率稳定性的Allan方差表达,建立系统状态方程,并以星间双向测量伪距差作为基本观测量,组成系统测量方程,从而可以设计适用于导航星座卫星时间同步的Kalman滤波算法。系统仿真结果表明：通过对星间双向测量数据的滤波处理,能够实现星座卫星时间精密同步。     

关于外测新体制的一些分析与思考

针对外测新体制下数据处理中遇到的一些重要问题进行了较为深入的讨论。认真分析了多站测速系统的严重病态以及样条约束的EMBET算法在目标非平稳段的剩余截断误差等制约弹道处理精度的重要问题,并提出解决问题的思路与方法。     

欧洲空间天气计划

简要介绍了空间天气的基本概念,并对欧洲空间天气计划的效益分析、用户需求、实施方案等方面的内容进行介绍。